abstract class $NUMBER{NTP} < $IS_LT{NTP},$NIL,$STR |
---|
**** | Abstract class defined over all numbers Due to contravariance, we need to parametrize over NTP which is the type of the argument to many of the defined routines. |
$STR | $NIL | $IS_NIL | $IS_LT{_} | $IS_EQ |
FLT | INT | FLTD |
div(n: NTP): SAME; |
---|
**** | Return the quotient of self and "n" |
maxval: NTP; |
---|
**** | Return the maximal allowed value |
minus(n: NTP): SAME; |
---|
**** | Return self - n |
plus(n: NTP): SAME; |
---|
**** | Return self+n |
times(n: NTP): SAME; |
---|
**** | Return self * n |
zero: NTP; |
---|
**** | Return the zero value |